Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:
Traduction et analyse de mots par intelligence artificielle ChatGPT
Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:
- comment le mot est utilisé
- fréquence d'utilisation
- il est utilisé plus souvent dans le discours oral ou écrit
- options de traduction de mots
- exemples d'utilisation (plusieurs phrases avec traduction)
- étymologie
quantifier-free inference - traduction vers russe
Lindstrom quantifier; Lindstroem quantifier
quantifier-free inference
математика
бескванторный вывод
logical quantifier
![[[Augustus De Morgan]] (1806-1871) was the first to use "quantifier" in the modern sense.](https://commons.wikimedia.org/wiki/Special:FilePath/De Morgan Augustus.jpg?width=200 "[[Augustus De Morgan]] (1806-1871) was the first to use \"quantifier\" in the modern sense.")
LOGICAL OPERATOR SPECIFYING HOW MANY ENTITIES IN THE DOMAIN OF DISCOURSE THAT SATISFY AN OPEN FORMULA
Logical quantifier; Quantificational fallacy; Solution quantifier; Quantification (logic); Quantifiers (logic); Set quantifier; Range of quantification
математика
логический квантор
inductive statistics
PROCESS OF DEDUCING PROPERTIES OF AN UNDERLYING PROBABILITY DISTRIBUTION BY ANALYSIS OF DATA
InterpretingStatisticalData; Interpreting statistical data; Inferential statistics; Statistical analysis; Non-parametric inference; Inferential Statistics; Inductive strength; Inductive statistics; Statistical induction; Predictive inference; Statistics/Inference; Interpreting Statistical Data; Statistical Inference; Sampling statistics; Prediction theory; Inference (machine learning)
математика
индуктивная статистика
Définition
Фоб
I
(от греч. phóbos - страх, боязнь)
часть сложных слов, означающая боящийся, враждебный, ненавидящий, например женофоб.
II
(англ. fob, сокр. от free on board - Франко борт, буквально - свободно на борту судна)
вид купли-продажи (См. Купля-продажа) товаров при морской перевозке. Условия Ф. означают, что продавец обязан доставить товар в порт и погрузить на указанное покупателем судно; расходы по доставке товара на борт судна включаются в стоимость товара. В некоторых портах при поставках на условиях Ф. расходы по погрузке несёт покупатель. Риск случайной гибели имущества или его повреждения возлагается на продавца - до момента пересечения товаром борта судна, и на покупателя - с указанного момента. По Общим условиям СЭВ (См. Общие условия СЭВ) право собственности на товар переходит от продавца к покупателю одновременно с переходом риска. См. также Фас.
Wikipédia
Lindström quantifier
In mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages.
